class A
feature
    field : INTEGER
    
    foo
    local R : INTEGER
    do
        R:=4
    end
end

class B
inherit
        A
        rename field as Afield,
               foo   as Afoo
end

class BB
inherit
        A
        redefine foo
feature
    foo
    local R : INTEGER
    do
        R:=4
    end
end

class BBB
inherit
        BB
        redefine foo
feature
    foo
    local R : INTEGER
    do
        R:=4
    end
end

deferred class E
feature
    Afoo deferred end
end

class C
inherit 
        B
        redefine Afoo
inherit
        E
        redefine Afoo
feature
    Afoo
    local R : INTEGER
    do
       R:=4
    end
end

class D
inherit
        C
        redefine Afoo
feature
     Afoo
     local R : INTEGER
     do
       R:=4
     end
end

class F
    inherit A
        rename foo As Afoo
        redefine Afoo
feature
    Afoo
    local R : INTEGER
    do
       R:=4
    end
    
    foo
    local R : INTEGER
    do
        R:=4
    end
end